TAGs: algebra unit exponential